home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / order.c < prev    next >
C/C++ Source or Header  |  1996-08-26  |  245b  |  18 lines
  1. extern int glob;
  2.  
  3. extern int mystery (void);
  4.  
  5. extern int modglob (void)
  6.    /*@globals glob@*/
  7.    /*@modifies glob@*/ ;
  8.  
  9. int f (int x, int y[])
  10. {
  11.   int i = x++ * x;
  12.  
  13.   y[i] = i++;
  14.   i += modglob() * glob;
  15.   i += mystery() * glob;
  16.   return i;
  17. }
  18.